On the Logic of LGB Type Structures. Part I: Multidominance Structures
نویسنده
چکیده
A. The present paper is the first part of a sequence of papers devoted to the modal logics of structures that arise from Government and Binding theory. It has been shown in [9] that they can be modeled by so-called multidominance structures (MDSs). The result we are going to prove here is that the dynamic logic of the MDSs is decidable. Moreover, we shall indicate how the theory of Government and Binding as well as the Minimalist Program can be coded in modal logic. Some preliminary decidability results for GB are obtained, which will be followed up in the sequel to this paper.
منابع مشابه
Beyond First Order Logic: From number of structures to structure of numbers: Part I
We study the history and recent developments in nonelementarymodel theory focusing on the framework of abstractelementary classes. We discuss the role of syntax and semanticsand the motivation to generalize first order model theory to nonelementaryframeworks and illuminate the study with concrete examplesof classes of models. This first part introduces the main conceps and philosophies anddiscu...
متن کاملBeyond first order logic: From number of structures to structure of numbers: Part II
We study the history and recent developments in nonelementarymodel theory focusing on the framework of abstractelementary classes. We discuss the role of syntax and semanticsand the motivation to generalize first order model theory to nonelementaryframeworks and illuminate the study with concrete examplesof classes of models. This second part continues to study the question of catecoricitytrans...
متن کاملInvestigation and Comparison of Light Propagation in Two Graded Photonic Crystal Structures
In this paper, we study two different Graded Index (GRIN) photonic crystal (PC) structures which are named as structure type I and type II. The PC structures are made of the square rod in an air background. To design a GRIN PC structure the lattice constant has been altered in the direction transverse to propagation. We investigated focusing effect and waveguiding behavior of electr...
متن کاملSemi-active Control of Building Structures using Variable Stiffness Device and Fuzzy Logic
Semi-active control devices, also called “Intelligent” control devices, constitute the positive aspects of both the passive and active control devices. A semi-active control strategy is similar to the active control strategy, but this control device has been shown to be more energy-efficient than active devices. A particular type of semi-active control device, the Variable Stiffness Device (VSD...
متن کاملContour Crafting Process Plan Optimization Part I: Single-Nozzle Case
Contour Crafting is an emerging technology that uses robotics to construct free form building structures by repeatedly laying down layers of material such as concrete. The Contour Crafting technology scales up automated additive fabrication from building small industrial parts to constructing buildings. Tool path planning and optimization for Contour Crafting benefit the technology by increasin...
متن کامل